% General commands
\renewcommand{\labelitemi}{$-$}

\newcommand{\comment}[1]{\marginpar{\color{red}\tiny #1}}
\newcommand{\todo}[1]{{ \color{red} Todo: #1}}

\newcommand{\change}[1]{{ \color{red} \bf #1 }}

\newcommand{\ie}{\emph{i.e.}, }
\newcommand{\eg}{\emph{e.g.}, }
\newcommand{\norcause}[3]{[#1] ~ #2 \circleright #3}
\newcommand{\percause}[3]{[#1] ~ #2 \circledotright #3}


\newcommand{\obligatory}{mandatory\xspace}
\newcommand{\Obligatory}{Mandatory\xspace}

\newcommand{\potential}{potential\xspace}
\newcommand{\Potential}{Potential\xspace}


%figures tikz
\usepackage{pgf}
\usepackage{tikz}
\usetikzlibrary{arrows,automata,trees,shapes,calc,matrix}
\usetikzlibrary{positioning}

\hypersetup{colorlinks=true}

\tikzstyle{loc}=[draw,circle,minimum size=7mm,inner sep=1pt]
\tikzstyle{inloc}=[draw,circle,double,minimum size=7mm,inner sep=1pt]
\tikzstyle{location}=[draw,circle,inner sep=5pt,minimum size=7mm] %a location in L-


 \tikzstyle{place}=[circle,draw,fill=blue!20,minimum size=5mm]
 \tikzstyle{transition}=[rectangle,draw,fill=black!20,minimum size=4mm]
 \tikzstyle{every token}=[font=\small]

\newcommand{\mydots}{\ensuremath{\,.\,.\,}}


% Petri net
\newcommand{\Pclock}{q_c}
\newcommand{\nat}{\mathbb{N}}
\newcommand{\tuple}[1]{\langle #1 \rangle}

\newcommand{\activ}[4]{#1  \mid #2 \xrightarrow{#3} #4}

\newcommand{\pre}[1]{ {^{\bullet}#1}}
\newcommand{\post}[1]{#1^{\bullet}}
\newcommand{\firing}[4]{#1[ {#2}{:}  #3{\rangle} #4}
\newcommand{\udarrow}[2]{\frac{\hspace*{1ex}#1 \hspace*{1ex}}{#2}\!\!\!\!\!\rightarrow}


%Reaction systems
\newcommand{\andy}{\textsf{\relsize{-1}ANDy\relsize{+1}}\xspace} %\ensuremath{\mathsf{ANDy}}\xspace}
\newcommand{\rsd}{\andy}

\newcommand{\entity}{\ensuremath{e}}
\newcommand{\entities}{\ensuremath{\mathcal{E}}\xspace}
\newcommand{\Reac}{\ensuremath{\mathcal{P}}\xspace} %potential
\newcommand{\Syn}{\ensuremath{\mathcal{M}}\xspace}  %obligatory
\newcommand{\rndnet}{\ensuremath{\mathcal{N}}\xspace}
\newcommand{\dur}[1]{\Delta_{#1}\xspace}
\newcommand{\life}{\delta}

\newcommand{\sub}[2]{\{\raisebox{.5ex}{\small$#1$}\! / \mbox{\small$#2$}\}}

\newcommand{\birth}{\lambda}
\newcommand{\refr}{u}
\newcommand{\lev}{l}
\newcommand{\bool}{\lev}
\newcommand{\setlev}{\mathcal{L}}
\newcommand{\level}[1]{\eta_{#1}}
\newcommand{\inc}[2]{\mathsf{inc}_{#1}(#2)}

%timed automata
\newcommand{\arcs}{\mathit{Arcs}}
\newcommand{\inv}{\mathit{Inv}}
\newcommand{\TA}{\mathit{TA}}
\newcommand{\Tag}{\mathit{B}}

\newcommand{\op}{\mathit{op}}
\newcommand{\tick}{\surd}
%Logic
\newcommand{\until}{\mathbf{U}}
\newcommand{\globally}{\mathbf{G}}
\newcommand{\esiste}{\mathbf{E}}
\newcommand{\x}{\mathbf{X}}
\newcommand{\all}{\mathbf{A}}
\newcommand{\finally}{\mathbf{F}}
\newcommand{\true}{\mathbf{true}}
\newcommand{\enc}[1]{\llbracket #1 \rrbracket}
\newcommand{\lab}{\ensuremath{\mathcal{B}}\xspace}


